mechanical theorem proving
un. 機器證明
[網絡] 定理機器證明；機器定理證明；定理的機器證明
熱門查詢
- steaming n. 汽蒸；蒸烘 v. 汽蒸；通入蒸汽（steam的ing形式） adj. 冒熱氣的 adv. 熱氣騰騰地
- Friedman n. 弗里德曼（男子名）
- Marsden [人名] [英格蘭人姓氏] 馬斯登住所名稱，來源于古英語，含義是“邊界+河谷”(boundary+valley); [地名] [澳大利亞、加拿大、英國] 馬斯登
- walkway n. 通道，[建] 走道
- topo n. （等于toppo）威尼斯平底漁船 n. (Topo)人名；(芬、意)托波
- uncompromising adj. 不妥協的，不讓步的；堅定的
- invigorate vt. 鼓舞；使精力充沛
- scanning n. 掃描；[計] 搜索，觀測；掃掠 v. 掃描（scan的現在分詞）；瀏覽 adj. 掃描的；觀測的；搜索的；掃掠的
- eligibility n. 適任，合格；被選舉資格
- severally adv. 各自地；分別地；分開地
- adopt vi. 采取；過繼 vt. 采取；接受；收養；正式通過
- Valery [女子名] 瓦萊麗 Valeria的變體
- alienness 相異; 性質不同
- interchange n. 互換；立體交叉道 vt. （指兩人等）交換；互換 vi. 交換；相互交換
- unscathed adj. 未受傷的
- frat n. 兄弟會 兄弟會成員
- poetical adj. 詩的（等于poetic ）；理想化了的
- Decameron n. (薄伽丘著的)<<十日談>>
- physio n. 理療；物理療法；理療專家
- quotation n. [貿易] 報價單；引用語；引證
